3.319 \(\int \frac{x^{10}}{a+b x^4+c x^8} \, dx\)
Optimal. Leaf size=381 \[ -\frac{\left (\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}+b\right ) \tan ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-\sqrt{b^2-4 a c}-b}}-\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{\sqrt{b^2-4 a c}-b}}+\frac{\left (\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}+b\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-\sqrt{b^2-4 a c}-b}}+\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{\sqrt{b^2-4 a c}-b}}+\frac{x^3}{3 c} \]
[Out]
x^3/(3*c) - ((b + (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTan[(2^(1/4)*c^(1/4)*x)/(-b - Sqrt[b^2 - 4*a*c])^(1/4)])
/(2*2^(3/4)*c^(7/4)*(-b - Sqrt[b^2 - 4*a*c])^(1/4)) - ((b - (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTan[(2^(1/4)*c
^(1/4)*x)/(-b + Sqrt[b^2 - 4*a*c])^(1/4)])/(2*2^(3/4)*c^(7/4)*(-b + Sqrt[b^2 - 4*a*c])^(1/4)) + ((b + (b^2 - 2
*a*c)/Sqrt[b^2 - 4*a*c])*ArcTanh[(2^(1/4)*c^(1/4)*x)/(-b - Sqrt[b^2 - 4*a*c])^(1/4)])/(2*2^(3/4)*c^(7/4)*(-b -
Sqrt[b^2 - 4*a*c])^(1/4)) + ((b - (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTanh[(2^(1/4)*c^(1/4)*x)/(-b + Sqrt[b^2
- 4*a*c])^(1/4)])/(2*2^(3/4)*c^(7/4)*(-b + Sqrt[b^2 - 4*a*c])^(1/4))
________________________________________________________________________________________
Rubi [A] time = 0.64723, antiderivative size = 381, normalized size of antiderivative = 1.,
number of steps used = 8, number of rules used = 5, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.278, Rules used =
{1367, 1510, 298, 205, 208} \[ -\frac{\left (\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}+b\right ) \tan ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-\sqrt{b^2-4 a c}-b}}-\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{\sqrt{b^2-4 a c}-b}}+\frac{\left (\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}+b\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-\sqrt{b^2-4 a c}-b}}+\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{\sqrt{b^2-4 a c}-b}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{\sqrt{b^2-4 a c}-b}}+\frac{x^3}{3 c} \]
Antiderivative was successfully verified.
[In]
Int[x^10/(a + b*x^4 + c*x^8),x]
[Out]
x^3/(3*c) - ((b + (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTan[(2^(1/4)*c^(1/4)*x)/(-b - Sqrt[b^2 - 4*a*c])^(1/4)])
/(2*2^(3/4)*c^(7/4)*(-b - Sqrt[b^2 - 4*a*c])^(1/4)) - ((b - (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTan[(2^(1/4)*c
^(1/4)*x)/(-b + Sqrt[b^2 - 4*a*c])^(1/4)])/(2*2^(3/4)*c^(7/4)*(-b + Sqrt[b^2 - 4*a*c])^(1/4)) + ((b + (b^2 - 2
*a*c)/Sqrt[b^2 - 4*a*c])*ArcTanh[(2^(1/4)*c^(1/4)*x)/(-b - Sqrt[b^2 - 4*a*c])^(1/4)])/(2*2^(3/4)*c^(7/4)*(-b -
Sqrt[b^2 - 4*a*c])^(1/4)) + ((b - (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTanh[(2^(1/4)*c^(1/4)*x)/(-b + Sqrt[b^2
- 4*a*c])^(1/4)])/(2*2^(3/4)*c^(7/4)*(-b + Sqrt[b^2 - 4*a*c])^(1/4))
Rule 1367
Int[((d_.)*(x_))^(m_.)*((a_) + (c_.)*(x_)^(n2_.) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(d^(2*n - 1)*(d*x)
^(m - 2*n + 1)*(a + b*x^n + c*x^(2*n))^(p + 1))/(c*(m + 2*n*p + 1)), x] - Dist[d^(2*n)/(c*(m + 2*n*p + 1)), In
t[(d*x)^(m - 2*n)*Simp[a*(m - 2*n + 1) + b*(m + n*(p - 1) + 1)*x^n, x]*(a + b*x^n + c*x^(2*n))^p, x], x] /; Fr
eeQ[{a, b, c, d, p}, x] && EqQ[n2, 2*n] && NeQ[b^2 - 4*a*c, 0] && IGtQ[n, 0] && GtQ[m, 2*n - 1] && NeQ[m + 2*n
*p + 1, 0] && IntegerQ[p]
Rule 1510
Int[(((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(n_)))/((a_) + (b_.)*(x_)^(n_) + (c_.)*(x_)^(n2_)), x_Symbol] :> Wi
th[{q = Rt[b^2 - 4*a*c, 2]}, Dist[e/2 + (2*c*d - b*e)/(2*q), Int[(f*x)^m/(b/2 - q/2 + c*x^n), x], x] + Dist[e/
2 - (2*c*d - b*e)/(2*q), Int[(f*x)^m/(b/2 + q/2 + c*x^n), x], x]] /; FreeQ[{a, b, c, d, e, f, m}, x] && EqQ[n2
, 2*n] && NeQ[b^2 - 4*a*c, 0] && IGtQ[n, 0]
Rule 298
Int[(x_)^2/((a_) + (b_.)*(x_)^4), x_Symbol] :> With[{r = Numerator[Rt[-(a/b), 2]], s = Denominator[Rt[-(a/b),
2]]}, Dist[s/(2*b), Int[1/(r + s*x^2), x], x] - Dist[s/(2*b), Int[1/(r - s*x^2), x], x]] /; FreeQ[{a, b}, x] &
& !GtQ[a/b, 0]
Rule 205
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[a/b, 2]*ArcTan[x/Rt[a/b, 2]])/a, x] /; FreeQ[{a, b}, x]
&& PosQ[a/b]
Rule 208
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-(a/b), 2]*ArcTanh[x/Rt[-(a/b), 2]])/a, x] /; FreeQ[{a,
b}, x] && NegQ[a/b]
Rubi steps
\begin{align*} \int \frac{x^{10}}{a+b x^4+c x^8} \, dx &=\frac{x^3}{3 c}-\frac{\int \frac{x^2 \left (3 a+3 b x^4\right )}{a+b x^4+c x^8} \, dx}{3 c}\\ &=\frac{x^3}{3 c}-\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \int \frac{x^2}{\frac{b}{2}-\frac{1}{2} \sqrt{b^2-4 a c}+c x^4} \, dx}{2 c}-\frac{\left (b+\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \int \frac{x^2}{\frac{b}{2}+\frac{1}{2} \sqrt{b^2-4 a c}+c x^4} \, dx}{2 c}\\ &=\frac{x^3}{3 c}+\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \int \frac{1}{\sqrt{-b+\sqrt{b^2-4 a c}}-\sqrt{2} \sqrt{c} x^2} \, dx}{2 \sqrt{2} c^{3/2}}-\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \int \frac{1}{\sqrt{-b+\sqrt{b^2-4 a c}}+\sqrt{2} \sqrt{c} x^2} \, dx}{2 \sqrt{2} c^{3/2}}+\frac{\left (b+\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \int \frac{1}{\sqrt{-b-\sqrt{b^2-4 a c}}-\sqrt{2} \sqrt{c} x^2} \, dx}{2 \sqrt{2} c^{3/2}}-\frac{\left (b+\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \int \frac{1}{\sqrt{-b-\sqrt{b^2-4 a c}}+\sqrt{2} \sqrt{c} x^2} \, dx}{2 \sqrt{2} c^{3/2}}\\ &=\frac{x^3}{3 c}-\frac{\left (b+\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-b-\sqrt{b^2-4 a c}}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-b-\sqrt{b^2-4 a c}}}-\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-b+\sqrt{b^2-4 a c}}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-b+\sqrt{b^2-4 a c}}}+\frac{\left (b+\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-b-\sqrt{b^2-4 a c}}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-b-\sqrt{b^2-4 a c}}}+\frac{\left (b-\frac{b^2-2 a c}{\sqrt{b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt [4]{c} x}{\sqrt [4]{-b+\sqrt{b^2-4 a c}}}\right )}{2\ 2^{3/4} c^{7/4} \sqrt [4]{-b+\sqrt{b^2-4 a c}}}\\ \end{align*}
Mathematica [C] time = 0.0411818, size = 70, normalized size = 0.18 \[ \frac{4 x^3-3 \text{RootSum}\left [\text{$\#$1}^4 b+\text{$\#$1}^8 c+a\& ,\frac{\text{$\#$1}^4 b \log (x-\text{$\#$1})+a \log (x-\text{$\#$1})}{2 \text{$\#$1}^5 c+\text{$\#$1} b}\& \right ]}{12 c} \]
Antiderivative was successfully verified.
[In]
Integrate[x^10/(a + b*x^4 + c*x^8),x]
[Out]
(4*x^3 - 3*RootSum[a + b*#1^4 + c*#1^8 & , (a*Log[x - #1] + b*Log[x - #1]*#1^4)/(b*#1 + 2*c*#1^5) & ])/(12*c)
________________________________________________________________________________________
Maple [C] time = 0.037, size = 63, normalized size = 0.2 \begin{align*}{\frac{{x}^{3}}{3\,c}}-{\frac{1}{4\,c}\sum _{{\it \_R}={\it RootOf} \left ( c{{\it \_Z}}^{8}+b{{\it \_Z}}^{4}+a \right ) }{\frac{ \left ({{\it \_R}}^{6}b+{{\it \_R}}^{2}a \right ) \ln \left ( x-{\it \_R} \right ) }{2\,{{\it \_R}}^{7}c+{{\it \_R}}^{3}b}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(x^10/(c*x^8+b*x^4+a),x)
[Out]
1/3*x^3/c-1/4/c*sum((_R^6*b+_R^2*a)/(2*_R^7*c+_R^3*b)*ln(x-_R),_R=RootOf(_Z^8*c+_Z^4*b+a))
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: AttributeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^10/(c*x^8+b*x^4+a),x, algorithm="maxima")
[Out]
Exception raised: AttributeError
________________________________________________________________________________________
Fricas [B] time = 11.0777, size = 13450, normalized size = 35.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^10/(c*x^8+b*x^4+a),x, algorithm="fricas")
[Out]
1/12*(4*x^3 + 12*c*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8*a*b^2*c
^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5
+ a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))
*arctan(-1/2*((b^6*c^7 - 10*a*b^4*c^8 + 32*a^2*b^2*c^9 - 32*a^3*c^10)*x*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*
c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16
- 64*a^3*c^17)) - (b^9 - 9*a*b^7*c + 26*a^2*b^5*c^2 - 25*a^3*b^3*c^3 + 4*a^4*b*c^4)*x + sqrt(1/2)*(b^9 - 9*a*b
^7*c + 26*a^2*b^5*c^2 - 25*a^3*b^3*c^3 + 4*a^4*b*c^4 - (b^6*c^7 - 10*a*b^4*c^8 + 32*a^2*b^2*c^9 - 32*a^3*c^10)
*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*
c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))*sqrt((2*(a^3*b^6 - 5*a^4*b^4*c + 6*a^5*b^2*c^2 - a^6*c
^3)*x^2 - sqrt(1/2)*(b^11 - 12*a*b^9*c + 53*a^2*b^7*c^2 - 103*a^3*b^5*c^3 + 79*a^4*b^3*c^4 - 12*a^5*b*c^5 - (b
^8*c^7 - 13*a*b^6*c^8 + 60*a^2*b^4*c^9 - 112*a^3*b^2*c^10 + 64*a^4*c^11)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8
*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16
- 64*a^3*c^17)))*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)
*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*
c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))/(a^3*b^6 - 5*a^
4*b^4*c + 6*a^5*b^2*c^2 - a^6*c^3)))*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b
^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4
- 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c
^8 + 16*a^2*c^9)))/(a^2*b^6 - 5*a^3*b^4*c + 6*a^4*b^2*c^2 - a^5*c^3)) - 12*c*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b
^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b
^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^
16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*arctan(1/2*(sqrt(1/2)*(b^9 - 9*a*b^7*c + 26*a^2*b^5
*c^2 - 25*a^3*b^3*c^3 + 4*a^4*b*c^4 + (b^6*c^7 - 10*a*b^4*c^8 + 32*a^2*b^2*c^9 - 32*a^3*c^10)*sqrt((b^12 - 10*
a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c
^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 -
(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c
^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2
*c^8 + 16*a^2*c^9)))*sqrt((2*(a^3*b^6 - 5*a^4*b^4*c + 6*a^5*b^2*c^2 - a^6*c^3)*x^2 - sqrt(1/2)*(b^11 - 12*a*b^
9*c + 53*a^2*b^7*c^2 - 103*a^3*b^5*c^3 + 79*a^4*b^3*c^4 - 12*a^5*b*c^5 + (b^8*c^7 - 13*a*b^6*c^8 + 60*a^2*b^4*
c^9 - 112*a^3*b^2*c^10 + 64*a^4*c^11)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*
c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))*sqrt(-(b^7 - 7*a*
b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*
b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c
^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))/(a^3*b^6 - 5*a^4*b^4*c + 6*a^5*b^2*c^2 - a^6*c^3))
- ((b^6*c^7 - 10*a*b^4*c^8 + 32*a^2*b^2*c^9 - 32*a^3*c^10)*x*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a
^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c
^17)) + (b^9 - 9*a*b^7*c + 26*a^2*b^5*c^2 - 25*a^3*b^3*c^3 + 4*a^4*b*c^4)*x)*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b
^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b
^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^
16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9))))/(a^2*b^6 - 5*a^3*b^4*c + 6*a^4*b^2*c^2 - a^5*c^3))
- 3*c*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*
c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(
b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*log(1/2*sqr
t(1/2)*(b^14 - 16*a*b^12*c + 102*a^2*b^10*c^2 - 328*a^3*b^8*c^3 + 553*a^4*b^6*c^4 - 457*a^5*b^4*c^5 + 152*a^6*
b^2*c^6 - 16*a^7*c^7 - (b^11*c^7 - 17*a*b^9*c^8 + 113*a^2*b^7*c^9 - 364*a^3*b^5*c^10 + 560*a^4*b^3*c^11 - 320*
a^5*b*c^12)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6
*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*
a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 6
2*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^
3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*
c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 -
12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8
+ 16*a^2*c^9)) - (a^5*b^6 - 5*a^6*b^4*c + 6*a^7*b^2*c^2 - a^8*c^3)*x) + 3*c*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^
5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^
8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^1
6 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*log(-1/2*sqrt(1/2)*(b^14 - 16*a*b^12*c + 102*a^2*b^1
0*c^2 - 328*a^3*b^8*c^3 + 553*a^4*b^6*c^4 - 457*a^5*b^4*c^5 + 152*a^6*b^2*c^6 - 16*a^7*c^7 - (b^11*c^7 - 17*a*
b^9*c^8 + 113*a^2*b^7*c^9 - 364*a^3*b^5*c^10 + 560*a^4*b^3*c^11 - 320*a^5*b*c^12)*sqrt((b^12 - 10*a*b^10*c + 3
7*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2
*b^2*c^16 - 64*a^3*c^17)))*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8
*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*
b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^
2*c^9)))*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 + (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^
12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12
*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)) - (a^5*b^6 - 5*a^6*b^4*c
+ 6*a^7*b^2*c^2 - a^8*c^3)*x) - 3*c*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^
4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4
- 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^
8 + 16*a^2*c^9)))*log(1/2*sqrt(1/2)*(b^14 - 16*a*b^12*c + 102*a^2*b^10*c^2 - 328*a^3*b^8*c^3 + 553*a^4*b^6*c^4
- 457*a^5*b^4*c^5 + 152*a^6*b^2*c^6 - 16*a^7*c^7 + (b^11*c^7 - 17*a*b^9*c^8 + 113*a^2*b^7*c^9 - 364*a^3*b^5*c
^10 + 560*a^4*b^3*c^11 - 320*a^5*b*c^12)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b
^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))*sqrt(sqrt(1/2)
*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*
a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c
^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*
b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^
3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^
17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)) - (a^5*b^6 - 5*a^6*b^4*c + 6*a^7*b^2*c^2 - a^8*c^3)*x) + 3*c*sqrt(
sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b
^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 1
2*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*log(-1/2*sqrt(1/2)*(b^1
4 - 16*a*b^12*c + 102*a^2*b^10*c^2 - 328*a^3*b^8*c^3 + 553*a^4*b^6*c^4 - 457*a^5*b^4*c^5 + 152*a^6*b^2*c^6 - 1
6*a^7*c^7 + (b^11*c^7 - 17*a*b^9*c^8 + 113*a^2*b^7*c^9 - 364*a^3*b^5*c^10 + 560*a^4*b^3*c^11 - 320*a^5*b*c^12)
*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*
c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))*sqrt(sqrt(1/2)*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2
- 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c
^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(
b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^9)))*sqrt(-(b^7 - 7*a*b^5*c + 14*a^2*b^3*c^2 - 7*a^3*b*c^3 - (b^4*c^7 - 8*a*b
^2*c^8 + 16*a^2*c^9)*sqrt((b^12 - 10*a*b^10*c + 37*a^2*b^8*c^2 - 62*a^3*b^6*c^3 + 46*a^4*b^4*c^4 - 12*a^5*b^2*
c^5 + a^6*c^6)/(b^6*c^14 - 12*a*b^4*c^15 + 48*a^2*b^2*c^16 - 64*a^3*c^17)))/(b^4*c^7 - 8*a*b^2*c^8 + 16*a^2*c^
9)) - (a^5*b^6 - 5*a^6*b^4*c + 6*a^7*b^2*c^2 - a^8*c^3)*x))/c
________________________________________________________________________________________
Sympy [A] time = 46.0003, size = 360, normalized size = 0.94 \begin{align*} \operatorname{RootSum}{\left (t^{8} \left (16777216 a^{4} c^{11} - 16777216 a^{3} b^{2} c^{10} + 6291456 a^{2} b^{4} c^{9} - 1048576 a b^{6} c^{8} + 65536 b^{8} c^{7}\right ) + t^{4} \left (- 28672 a^{5} b c^{5} + 71680 a^{4} b^{3} c^{4} - 59136 a^{3} b^{5} c^{3} + 22016 a^{2} b^{7} c^{2} - 3840 a b^{9} c + 256 b^{11}\right ) + a^{7}, \left ( t \mapsto t \log{\left (x + \frac{5242880 t^{7} a^{5} b c^{12} - 9175040 t^{7} a^{4} b^{3} c^{11} + 5963776 t^{7} a^{3} b^{5} c^{10} - 1851392 t^{7} a^{2} b^{7} c^{9} + 278528 t^{7} a b^{9} c^{8} - 16384 t^{7} b^{11} c^{7} + 512 t^{3} a^{7} c^{7} - 9344 t^{3} a^{6} b^{2} c^{6} + 29184 t^{3} a^{5} b^{4} c^{5} - 35392 t^{3} a^{4} b^{6} c^{4} + 20992 t^{3} a^{3} b^{8} c^{3} - 6528 t^{3} a^{2} b^{10} c^{2} + 1024 t^{3} a b^{12} c - 64 t^{3} b^{14}}{a^{8} c^{3} - 6 a^{7} b^{2} c^{2} + 5 a^{6} b^{4} c - a^{5} b^{6}} \right )} \right )\right )} + \frac{x^{3}}{3 c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x**10/(c*x**8+b*x**4+a),x)
[Out]
RootSum(_t**8*(16777216*a**4*c**11 - 16777216*a**3*b**2*c**10 + 6291456*a**2*b**4*c**9 - 1048576*a*b**6*c**8 +
65536*b**8*c**7) + _t**4*(-28672*a**5*b*c**5 + 71680*a**4*b**3*c**4 - 59136*a**3*b**5*c**3 + 22016*a**2*b**7*
c**2 - 3840*a*b**9*c + 256*b**11) + a**7, Lambda(_t, _t*log(x + (5242880*_t**7*a**5*b*c**12 - 9175040*_t**7*a*
*4*b**3*c**11 + 5963776*_t**7*a**3*b**5*c**10 - 1851392*_t**7*a**2*b**7*c**9 + 278528*_t**7*a*b**9*c**8 - 1638
4*_t**7*b**11*c**7 + 512*_t**3*a**7*c**7 - 9344*_t**3*a**6*b**2*c**6 + 29184*_t**3*a**5*b**4*c**5 - 35392*_t**
3*a**4*b**6*c**4 + 20992*_t**3*a**3*b**8*c**3 - 6528*_t**3*a**2*b**10*c**2 + 1024*_t**3*a*b**12*c - 64*_t**3*b
**14)/(a**8*c**3 - 6*a**7*b**2*c**2 + 5*a**6*b**4*c - a**5*b**6)))) + x**3/(3*c)
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{10}}{c x^{8} + b x^{4} + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^10/(c*x^8+b*x^4+a),x, algorithm="giac")
[Out]
integrate(x^10/(c*x^8 + b*x^4 + a), x)